Keys and Roles of Formal Methods Education for Industry: 10 Year Experience with Top SE Program
نویسندگان
چکیده
Formal methods play essential roles in education and training of software engineering. Besides the fact that formal methods themselves can be direct solutions to problems in development, many insights into modelling, specification, verification and validation can be provided. On the other hand, difficulties lie in delivering these direct or indirect values to the industry. This paper reports and discusses our experience with formal methods education in the Top SE program. This program has been provided for industry engineers to learn advanced software engineering. The program contains over 10 lectures on formal methods, from theoretical foundations to practice including non-technical aspects. The program also allows the engineers to spend 3 or 6 month tackling their own problems with supervisors. Our experience in the program illustrates key factors and roles of formal methods education.
منابع مشابه
Comparison of two educational environments in early clinical exposure program based on Dundee Ready Educational Environment Measure
Introduction: The undergraduate curriculum of Shiraz medical schoolunderwent a major reform during the recent years. It comprised of integrated education, supplemented with an early clinical experience program. This study was carried out to find out how early experience in clinical experience affects medical students’ perception and identify strengths and limitations of the available methods an...
متن کاملIdentifying Strategic Competencies of Top Managers in Petrochemical Industry
Based on the macroeconomic policies of the country regarding eliminating reliance on the sale of crude oil and in order to further develop the petrochemical industry and considering the special features of this industry including its technology based nature, facing fast changes and strong competition in the region, it is necessary for the active petrochemical companies to make plans with more i...
متن کاملThe effect of bottom-up and top-down auditory program training on the development of children's auditory processing skills
Although there have been several previous investigations on the role of auditory training for the development of auditory processing skills, it still remains unknown whether children with auditory processing difficulties can get improved auditory skills after exposure to a multi-modal training experience comprising both visual and tactile stimuli. The present study, therefore, attempted to use ...
متن کاملThe effect of bottom-up and top-down auditory program training on the development of children's auditory processing skills
Although there have been several previous investigations on the role of auditory training for the development of auditory processing skills, it still remains unknown whether children with auditory processing difficulties can get improved auditory skills after exposure to a multi-modal training experience comprising both visual and tactile stimuli. The present study, therefore, attempted to use ...
متن کاملIdentifying Keys to Win in the World Karate Championship
Background. Studies in this domain help focus on the techniques with high application to improve the point attainment, without providing points for the other opponents. Objectives. The purpose of this study was to analyze and investigate the most common scoring techniques used and the highest intensity competition times that have been fulfilled by the champions of the World Karate Leagues 2019...
متن کامل